(push_key_description): Output multibyte char as itself.

diff --git a/src/keymap.c b/src/keymap.c
index 72dbb3897643e29f5fc521aeeda7f80da4f75057..a32d8a10110d460b4d70ba0436564b4b79ac42a8 100644 (file)
--- a/src/keymap.c
+++ b/src/keymap.c
@@ -1838,13 +1838,11 @@ push_key_description (c, p)
     }
   else
     {
-      *p++ = '\\';
-      *p++ = (7 & (c >> 15)) + '0';
-      *p++ = (7 & (c >> 12)) + '0';
-      *p++ = (7 & (c >> 9)) + '0';
-      *p++ = (7 & (c >> 6)) + '0';
-      *p++ = (7 & (c >> 3)) + '0';
-      *p++ = (7 & (c >> 0)) + '0';
+      unsigned char work[4], *str;
+      int i = CHAR_STRING (c, work, str);
+
+      bcopy (str, p, i);
+      p += i;
     }
 
   return p;